rational number definition